<?php

class string {}
